#include "gc.h"

int main (int argc, char* argv[])
{
  clock_t startTime = clock();
  operation(argc, argv);
  std::cout << "Total time cost: "
	    << (double)(clock() - startTime) / CLOCKS_PER_SEC 
	    << " sec." << std::endl;
  return 0;
}
